$\forall$$b$:$\mathbb{Z}$. divides($b$; 0)